|
In general relativity, the Gibbons–Hawking–York boundary term is a term that needs to be added to the Einstein–Hilbert action when the underlying spacetime manifold has a boundary. The Einstein–Hilbert action is the basis for the most elementary variational principle from which the field equations of general relativity can be defined. However, the use of the Einstein–Hilbert action is appropriate only when the underlying spacetime manifold is closed, i.e., a manifold which is both compact and without boundary. In the event that the manifold has a boundary , the action should be supplemented by a boundary term so that the variational principle is well-defined. The necessity of such a boundary term was first realised by York and later refined in a minor way by Gibbons and Hawking. For a manifold that is not closed, the appropriate action is : where is the Einstein–Hilbert action, is the Gibbons–Hawking–York boundary term, is the induced metric (see section below on definitions) on the boundary, its determinant, is the trace of the second fundamental form, is equal to where is timelike and where is spacelike, and are the coordinates on the boundary. Varying the action with respect to the metric , subject to the condition is fixed (see section below). There remains ambiguity in the action up to an arbitrary functional of the induced metric . That a boundary term is needed in the gravitational case is due to the fact that , the gravitational Lagrangian density, contains second derivatives of the metric tensor. This is a non-typical feature of field theories, which are usually formulated in terms of Lagrangians that involve first derivatives of fields to be varied over only. The GHY term is desirable, as it possesses a number of other key features. When passing to the hamiltonian formalism, it is necessary to include the GHY term in order to reproduce the correct Arnowitt-Deser-Misner energy (ADM energy). The term is required to ensure the path integral (a la Hawking) for quantum gravity has the correct composition properties. When calculating black hole entropy using the euclidean semiclassical approach, the entire contribution comes from the GHY term. This term has had more recent applications in loop quantum gravity in calculating transition amplitudes and background-independent scattering amplitudes. In order to a finite value for the action, we may have to subtract off a surface term for flat spacetime: where is the extrinsic curvature of the boundary imbedded flat spacetime. As is invariant under variations of this addition term does not effect the field equations. = Introduction to hyper-surfaces = == Defining hyper-surfaces == In a four-dimensional spacetime manifold, a hypersurface is a three-dimensional submanifold that can be either timelike, spacelike, or null. A particular hyper-surface can be selected either by imposing a constraint on the coordinates or by giving parametric equations, where () are coordinates intrinsic to the hyper-surface. For example, a two-sphere in three-dimensional Euclidean space can be described either by where is the radius of the sphere, or by where and are intrinsic coordinates. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Gibbons–Hawking–York boundary term」の詳細全文を読む スポンサード リンク
|